Page 2 of 2 Model H - DECLARAŢIE privind eligibilitatea TVA aferentă cheltuielilor ce vor fi efectuate în cadrul proiectului propus spre finanţare din instrumente structurale     A. Datele de identificare a perso

Source URL: www.inforegio.ro

arXiv:1605.01990v1 [hep-ex] 6 MaySearches for Sterile Neutrinos with the IceCube Detector M. G. Aartsen,2 K. Abraham,35 M. Ackermann,53 J. Adams,16 J. A. Aguilar,12 M. Ahlers,30 M. Ahrens,43 D. Altmann,24 K. Andee

Source URL: arxiv.org

• Particle physics
• Physics
• Neutrino astronomy
• Neutrinos
• Fermilab
• Physics beyond the Standard Model
• Dark matter
• IceCube Neutrino Observatory
• Neutrino
• MINOS
• Sterile neutrino
• MiniBooNE

Microsoft Word - Feb 2009 Mtg Notice _2_.doc

Source URL: tcry.org

• Rail transportation in the United States
• Tennessee
• Transportation in the United States
• NTrak
• Rail transport modelling
• Nashville
• Tennessee
• N scale
• Tennessee Central Railway Museum
• Louisville and Nashville Railroad
• Model Railroader

IMAGINARIES AND DEFINABLE TYPES IN ALGEBRAICALLY CLOSED VALUED FIELDS EHUD HRUSHOVSKI This manuscript is largely an exposition of material from [1], [2] and [3], regarding definable types in the model completion of the t

Source URL: www.ma.huji.ac.il

• Algebra
• Abstract algebra
• Mathematics
• Field theory
• Algebraic geometry
• Valuation
• Sheaf
• Constructible universe
• Transcendental number
• Approximately finite-dimensional C*-algebra
• Differential forms on a Riemann surface

Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc

Source URL: stephenbach.net

• Logic
• Mathematical logic
• Abstraction
• Quantification
• Predicate logic
• Model theory
• Semantics
• Formal languages
• Quantifier
• First-order logic
• Constructible universe
• Universal quantification

OrigaMeeple - The standing origami Meeple c Gilad Aharoni (Israel / MALow intermediate A 15cm (6 inch) square makes a 6.5cm (2.5 inch) tall model.

Source URL: www.giladorigami.com

• Sewing
• Visual arts
• Software engineering
• Computer programming
• Paper folding
• Structural geology
• Deformation
• Fold
• Origami
• Pleat
• Tuck
• YoshizawaRandlett system

Analysis and classification of cooperative and competitive dialogs Uwe D. Reichel1 , Nina P¨orner1 , Dianne Nowack1 , Jennifer Cole2 1 Institute of Phonetics and Speech Processing, University of Munich 2

Source URL: prosody.beckman.illinois.edu

• Pragmatics
• Linguistics
• Philosophy of language
• Academia
• Humancomputer interaction
• Inference
• User interfaces
• Cooperative principle
• Implicature
• Language model
• Paul Grice
• Dialog act

Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic Kevin Baldor 1,2

Source URL: rv2012.ku.edu.tr

• Distributed computing
• Safety
• United States federal banking legislation
• Liveness
• GrammLeachBliley Act
• Gramm
• Model checking
• Computing

news Issue 2 of 2014 Newsletter of the South African Model Aircraft Association Our Mission: To add value to your flying experience through communication,

Source URL: www.samaa.org.za

• Model aircraft
• Aviation
• Linguistics
• Culture
• Languages of South Africa
• Afrikaans
• Fdration Aronautique Internationale
• Control line
• Free flight

Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2

Source URL: www.tik.ee.ethz.ch

• Computational complexity theory
• Analysis of algorithms
• Theory of computation
• Mathematics
• Probability theory
• Mathematical notation
• Leader election
• Randomized algorithm
• Big O in probability notation
• Time complexity
• -net